Proof assistant

Qualità:

Dimostratore automatico di teoremi - categoria di software per la logica matematica. L'articolo "Proof assistant" nella Wikipedia in inglese ha 32 punti per la qualità (al 1 agosto 2024). L'articolo contiene 22 riferimenti e 8 sezioni. L'articolo contiene anche un modello di difetti di qualità, che riduce il punteggio di qualità.

Questo articolo ha la migliore qualità nella Wikipedia in estone. Tuttavia, questo articolo è il più popolare nella versione inglese.

Nel luglio 2024 l'articolo "Proof assistant" è stato modificato da 3 autori nella Wikipedia in inglese e scritto da 4 autori in tutte le lingue.

Dalla creazione dell'articolo "Proof assistant", il suo contenuto è stato scritto da 102 utenti registrati di Wikipedia in inglese e modificato da 191 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 251 volte nella Wikipedia in inglese e citato 486 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (inglese): N. 42118 nel febbraio 2024
• Globale: N. 55595 nell'ottobre 2004

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 190648 nel novembre 2017
• Globale: N. 312916 nel novembre 2017

Ci sono 7 versioni linguistiche per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).

La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 agosto 2024 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	estone (et) Tõestusassistent		32.1143
2	inglese (en) Proof assistant		31.9674
3	francese (fr) Assistant de preuve		25.7037
4	ucraino (uk) Асистент доведення теорем		25.2336
5	russo (ru) Инструмент интерактивного доказательства теорем		16.134
6	spagnolo (es) Demostración interactiva de teoremas		1.1771
7	polacco (pl) System wspomagający dowodzenie twierdzeń		0.3428

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Proof assistant		527 472
2	francese (fr) Assistant de preuve		65 850
3	polacco (pl) System wspomagający dowodzenie twierdzeń		12 521
4	spagnolo (es) Demostración interactiva de teoremas		8 615
5	russo (ru) Инструмент интерактивного доказательства теорем		4 659
6	estone (et) Tõestusassistent		160
7	ucraino (uk) Асистент доведення теорем		112

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Proof assistant		5 635
2	francese (fr) Assistant de preuve		237
3	russo (ru) Инструмент интерактивного доказательства теорем		107
4	polacco (pl) System wspomagający dowodzenie twierdzeń		14
5	spagnolo (es) Demostración interactiva de teoremas		13
6	ucraino (uk) Асистент доведення теорем		8
7	estone (et) Tõestusassistent		3

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Proof assistant		102
2	francese (fr) Assistant de preuve		63
3	polacco (pl) System wspomagający dowodzenie twierdzeń		11
4	russo (ru) Инструмент интерактивного доказательства теорем		5
5	spagnolo (es) Demostración interactiva de teoremas		4
6	estone (et) Tõestusassistent		3
7	ucraino (uk) Асистент доведення теорем		3

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Proof assistant		3
2	francese (fr) Assistant de preuve		1
3	spagnolo (es) Demostración interactiva de teoremas		0
4	estone (et) Tõestusassistent		0
5	polacco (pl) System wspomagający dowodzenie twierdzeń		0
6	russo (ru) Инструмент интерактивного доказательства теорем		0
7	ucraino (uk) Асистент доведення теорем		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 5 gennaio 2025 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Squid Game, seconda stagione di Squid Game, Avicii, Nosferatu, Epifania, Metapneumovirus, Jimmy Carter, Elon Musk, Jeff Baena, Aubrey Plaza.

Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: Jeff Baena, Aubrey Plaza, The Vivienne, Squid Game season 2, Brothers Home, Nosferatu (2024 film), Squid Game, Jimmy Carter, Pushpa 2: The Rule, Pan Am Flight 103.

Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 44 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del agosto 2024. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del luglio 2024. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2023... More information